729 research outputs found

    (l+1)-point boundary value problems for ordinary differential equations, a type of global uniqueness of solutions condition

    Get PDF
    We consider (l+1)-point boundary value problems and determine conditions so that solutions of the boundary value problems are unique.https://ecommons.udayton.edu/grad_showcase/1011/thumbnail.jp

    A comparison of atomistic and continuum theoretical approaches to determine electronic properties of GaN/AlN quantum dots

    Full text link
    In this work we present a comparison of multiband k.p-models, the effective bond-orbital approach, and an empirical tight-binding model to calculate the electronic structure for the example of a truncated pyramidal GaN/AlN self-assembled quantum dot with a zincblende structure. For the system under consideration, we find a very good agreement between the results of the microscopic models and the 8-band k.p-formalism, in contrast to a 6+2-band k.p-model, where conduction band and valence band are assumed to be decoupled. This indicates a surprisingly strong coupling between conduction and valence band states for the wide band gap materials GaN and AlN. Special attention is paid to the possible influence of the weak spin-orbit coupling on the localized single-particle wave functions of the investigated structure

    Controllability of Control Argumentation Frameworks

    Get PDF
    Peer reviewe

    Acceptance in Incomplete Argumentation Frameworks

    Get PDF
    A Abstract argumentation frameworks (AFs), originally proposed by Dung, constitute a central formal model for the study of computational aspects of argumentation in AI. Credulous and skeptical acceptance of arguments in a given AF are well-studied problems both in terms of theoretical analysis-especially computational complexity-and the development of practical decision procedures for the problems. However, AFs make the assumption that all attacks between arguments are certain (i.e., present attacks are known to exist, and missing attacks are known to not exist), which can in various settings be a restrictive assumption. A generalization of AFs to incomplete AFs was recently proposed as a formalism that allows the representation of both uncertain attacks and uncertain arguments in AFs. In this article, we explore the impact of allowing for modeling such uncertainties in AFs on the computational complexity of natural generalizations of acceptance problems to incomplete AFs under various central AF semantics. Complementing the complexity-theoretic analysis, we also develop the first practical decision procedures for all of the NP-hard variants of acceptance in incomplete AFs. In terms of complexity analysis, we establish a full complexity landscape, showing that depending on the variant of acceptance and property/semantics, the complexity of acceptance in incomplete AFs ranges from polynomial-time decidable to completeness for Sigma(p)(3). In terms of algorithms, we show through an extensive empirical evaluation that an implementation of the proposed decision procedures, based on boolean satisfiability (SAT) solving, is effective in deciding variants of acceptance under uncertainties. We also establish conditions for what type of atomic changes are guaranteed to be redundant from the perspective of preserving extensions of completions of incomplete AFs, and show that the results allow for considerably improving the empirical efficiency of the proposed SAT-based counterexample-guided abstraction refinement algorithms for acceptance in incomplete AFs for problem variants with complexity beyond NP. (C) 2021 The Authors. Published by Elsevier B.V.Peer reviewe

    A Multilingual Phonological Resource Toolkit for Ubiquitous Speech Technology

    Get PDF
    This paper outlines the generation process of a specifi computational linguistic representation termed the Multilingual Time Map, conceptually a multi-tape finit state transducer encoding linguistic data at different levels of granularity. The fi st component acquires phonological data from syllable labeled speech data, the second component define feature profiles the third component generates feature hierarchies and augments the acquired data with the define feature profiles and the fourth component displays the Multilingual Time Map as a graph

    A Critical Race Theory Analysis of Post-Ferguson Critical Incidents Across Ecological Levels of Academia

    Get PDF
    In this article, we explore our experience walking into the academic school year eager and ready for the challenge of taking up the killing of Michael Brown and the events that followed in Ferguson as a catalyst for important conversations around structural injustice. Through exploration of critical incidents (Hamilton, 2004), we review how our attempts to open dialogue were met with defensiveness and a discourse that relegates the responsibility of engaging in conversations about race and power to educators of color. Echoing Pollock, Bocala, Deckman, and Dickstein-Staub (2015), we found that teachers at all levels may resist the ‘diversity’ aspect of preservice education when they view ‘diversity work’ as extraneous or belonging to others. Through a Critical Race Theory (CRT) perspective, we examine incidents that cut across the different ecological levels (Bronfenbrenner, 2005) in which we work, that is, our classrooms, partner public schools, and university. We use a CRT perspective across levels to explore how Michael Brown’s killing and the events that followed in Ferguson, rather than igniting a shared sense of responsibility among educators across these communities, triggered White students’ and teachers’ defense mechanisms, founded on the need to protect Whiteness as illustrated across the three critical incidents we describe

    Werkzeuge für Code-Reviews und Code-Abnahmen

    Get PDF
    Code-Reviews sind ein anerkanntes Mittel um die Codequalität zu verbessern. Sie sind heutzutage zum Standard in der Industrie geworden. Bei der Firma AEB werden seit längerem agile Codereviews für den implementierten Programmcode durchgeführt. Jedoch ist man mit dem Rahmen, in dem die Reviews durchgeführt werden, nicht zufrieden. In dieser Arbeit wurden Prüfwerkzeuge für Codereviews getestet und bewertet. Anhand dieser Bewertung wird eine Empfehlung an AEB gegeben um die Unterstützung bei Codereviews zu verbessern.Code reviews are recognized means of improving code quality. They became standard in the industry nowadays. At AEB they use an agile form of code reviews to check their implemented code. Though they are not pleased with the framework around the reviews. In this study code review tools were tested and rated. As a result of this rating a recommendation were given to AEB to get a better support while doing reviews

    Human interleukin-13 activates the interleukin-4-dependent transcription factor NF-IL4 sharing a DNA binding motif with an interferon-γ-induced nuclear binding factor

    Get PDF
    AbstractThe effects of interleukin-13 (IL-13) and interleukin-4 (IL-4) on cellular functions were shown to be quite similar. We provide evidence that in monocytes as well as in T lymphocytes both IL-4 and IL- 13 activate the same recently identified transcription factor NF-IL4 which binds to the specific responsive element IL-4RE. In addition, we show that a nuclear factor activated by interferon-γ also interacts with the IL-4RE. It differs from NF-IL4 in the electrophoretic mobility of the complex with DNA, in its DNA-binding specificity and in the proteins interacting with the DNA sequence. Sensitivity against various enzyme inhibitors suggests that components of the signal transduction pathway are shared by all three cytokines

    Multiwavelength Observations of the Low Metallicity Blue Compact Dwarf Galaxy SBS 0335-052

    Get PDF
    New infrared and millimeter observations from Keck, Palomar, ISO, and OVRO and archival data from the NRAO VLA and IRAS are presented for the low metallicity blue compact dwarf galaxy SBS 0335-052. Mid-infrared imaging shows this young star-forming system is compact (0.31"; 80 pc) at 12.5 microns. The large Br-gamma equivalent width (235 Angstroms) measured from integral field spectroscopy is indicative of a ~5 Myr starburst. The central source appears to be optically thin in emission, containing both a warm (~80 K) and a hot (~210 K) dust component, and the overall interstellar radiation field is quite intense, about 10,000 times the intensity in the solar neighborhood. CO emission is not detected, though the galaxy shows an extremely high global H I gas-to-dust mass ratio, high even for blue compact dwarfs. Finally, the galaxy's mid-infrared-to-optical and mid-to-near-infrared luminosity ratios are quite high, whereas its far-infrared-to-radio and far-infrared-to-optical flux ratios are surprisingly similar to what is seen in normal star-forming galaxies. The relatively high bolometric infrared-to-radio ratio is more easily understood in the context of such a young system with negligible nonthermal radio continuum emission. These new lines of evidence may outline features common to primordial galaxies found at high redshift.Comment: 28 pages including 6 figures; accepted for publication in the Astronomical Journa
    corecore